#ifndef JACKY_DEFINITION_H
#define JACKY_DEFINITION_H

/**
@mainpage SYNIT
@author Chih-Jen Hsu

a TINY SYNthesis program, ease yourself into Synthesis/Verification problems.

This program provides

an efficient architecture to perform more powerful synthesis/verification.
a faster and powerful AIG-minimization.

jackyknight99@gmail.com
*/


#include <stdint.h>
typedef uint16_t fun_t;

#define DBSIZE  4
#define SIGSIZE 32
#define RF_CUT_LIMIT 12
#define TABLE_SIZE (1<<(RF_CUT_LIMIT-6))
#define RF_MEM_SIZE 4096
#define RF_MAX_SOP_SIZE 64
#define CURDIR "/home/jackysnake/research/synit/"

#ifndef NDEBUG
#include <iostream>
using std::cout;
using std::endl;
#endif

#endif 
